13.4.1 산술 검증(Arithmetic Verification): 단가 × 수량 = 합계 검증 로직 구현